机译:基于基于基础和热力学 - 一致的稀释多组分解决方案的描述:正式结果,微观解释和建模意义
机译:基于描述逻辑的服务编排验证的一种形式化方法
机译:使用正式概念分析方法构建和扩展描述逻辑本体论文摘要
机译:使用动态描述逻辑的攻击突变形式化模型
机译:逻辑,形式语言和形式语言标识。乔姆斯基层次结构中语言的某些逻辑属性,以及形式语言标识的疑问模型。
机译:用于分离逻辑的正式C内存模型
机译:使用动态描述逻辑的攻击突变形式化模型
机译:开发一种评估苏联攻击后恢复能力的系统动力学模型。第1卷。描述和模拟